Higher-order logic - PDFSEARCH.IO - Document Search Engine

Higher-order logic
Results: 178

#	Item
121	LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic⋆ Christoph Benzm¨ uller1 , Lawrence C. Paulson2 , Frank Theiss1 , and Arnaud Fietzke3 1 Add to Reading List Source URL: www.boldsolutions.de Language: English - Date: 2011-03-22 14:11:27 Automated theorem proving Vampire Resolution First-order logic Term indexing Unification FO Proof assistant Isabelle Logic Mathematics Mathematical logic
122	Progress Report on Leo-II, an Automatic Theorem Prover for Higher-Order Logic? Christoph Benzm¨ uller1,2 , Larry Paulson1 , Frank Theiss2 , and Arnaud Fietzke2 1 Add to Reading List Source URL: www.boldsolutions.de Language: English - Date: 2011-03-22 14:11:07 Mathematics Formal methods Resolution Lambda calculus First-order logic Logic programming Unification Vampire Simply typed lambda calculus Theoretical computer science Automated theorem proving Mathematical logic
123	Aristotle’s Logic and Metaphysics Roger Bishop Jones Abstract Formalisation in higher order logic of parts of Aristotle’s logic and metaphysics. Add to Reading List Source URL: www.rbjones.com Language: English - Date: 2012-09-28 15:44:05 Philosophy of mathematics Ontology Branches of philosophy Traditional logic Philosophical logic Syllogism Aristotle Metaphysics Physics Philosophy Logic Science
124	The LEO-II Project Christoph Benzm¨uller⋆† , Larry Paulson⋆ Frank Theiss† , Arnaud Fietzke† † Add to Reading List Source URL: www.boldsolutions.de Language: English - Date: 2011-03-22 14:11:24 Mathematical logic Isabelle Proof assistant Vampire SPASS HOL Higher-order logic First-order logic Resolution Theoretical computer science Logic Automated theorem proving
125	Higher-Order Vagueness and the Vagueness of ‘Vague’ Achille C. Varzi Department of Philosophy, Columbia University, New York (Published in Mind 112:[removed]), 295–298) Add to Reading List Source URL: www.columbia.edu Language: English - Date: 2003-03-28 10:31:17 Philosophical logic Critical thinking Epistemology Fuzzy logic Philosophy of language Vagueness Sorites paradox Predicate FO Semantics Logic Linguistics
126	Abstracting Abstract Machines: A Systematic Approach to Higher-Order Program Analysis Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-12-27 17:19:23 Mathematics Logic in computer science Operational semantics Finite-state machine Model theory Algorithm Theoretical computer science Applied mathematics Automata theory
127	Higher-Order Flexibilities in Multi-Valued Networks Alan Mishchenko Department of ECE Portland State University, Portland, OR [removed] Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2002-04-15 13:42:30 Binary trees Mathematics Tango tree Algebraic logic Canonical form Logic
128	Higher-Order Pattern Complement and the Strict λ-Calculus ALBERTO MOMIGLIANO University of Leicester and FRANK PFENNING Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-11-12 07:48:30 Deduction Predicate logic Computability theory Lambda calculus Theoretical computer science Free variables and bound variables Entailment Unification Admissible rule Logic Mathematical logic Mathematics
129	Verifying Higher-order Programs with the Dijkstra Monad Nikhil Swamy1 Joel Weinberger2 Cole Schlesinger3 Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2014-02-07 17:27:24 Semantics HTML Model theory Predicate logic Subroutines Typeof Foreach loop Tree traversal H1 Computing Software engineering Logic
130	Proof-Theoretic and Higher-Order Extensions of Logic Programming Alberto Momigliano1,2 and Mario Ornaghi1 1 Dipartimento di Scienze dell’Informazione, Universit`a degli Studi di Milano, Italy Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-03-30 09:07:46 Proof theory Metalogic Model theory Formal languages Deduction Curry–Howard correspondence Standard ML Sequent calculus Symbol Logic Mathematics Mathematical logic

UPDATE